The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL
نویسندگان
چکیده
منابع مشابه
The Bayesian Ontology Language BEL
We introduce the new probabilistic description logic (DL) BEL, which extends the light-weight DL EL with the possibility of expressing uncertainty about the validity of some knowledge. Contrary to other probabilistic DLs, BEL is designed to represent classical knowledge that depends on an uncertain context; that is, some of the knowledge may hold or not depending on the current situation. The p...
متن کاملThe Bayesian Description Logic BEL
We introduce the probabilistic Description Logic BEL. In BEL, axioms are required to hold only in an associated context. The probabilistic component of the logic is given by a Bayesian network that describes the joint probability distribution of the contexts. We study the main reasoning problems in this logic; in particular, we (i) prove that deciding positive and almost-sure entailments is not...
متن کاملProbabilistic Query Answering in the Bayesian Description Logic BEL
BEL is a probabilistic description logic (DL) that extends the light-weight DL EL with a joint probability distribution over the axioms, expressed with the help of a Bayesian network (BN). In recent work it has been shown that the complexity of standard logical reasoning in BEL is the same as performing probabilistic inferences over the BN. In this paper we consider conjunctive query answering ...
متن کاملReasoning in the Description Logic BEL Using Bayesian Networks
We study the problem of reasoning in the probabilistic Description Logic BEL. Using a novel structure, we show that probabilistic reasoning in this logic can be reduced in polynomial time to standard inferences over a Bayesian network. This reduction provides tight complexity bounds for probabilistic reasoning in BEL.
متن کاملProperties of Bel currents
The Bel tensor is divergence-free in some important cases leading to the existence of conserved currents associated to Killing vectors analogously to those of the energy-momentum tensor. When the divergence of the Bel tensor does not vanish one can study the interchange of some quantities between the gravitational and other fields obtaining mixed total conserved currents. Nevertheless, the Bel ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2016
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-016-9386-0